$\forall$$r$:$\mathbb{Q}$, $n$:$\mathbb{N}$. $r$ $\uparrow$ $n$ $\in$ $\mathbb{Q}$